Complete Problems for Monotone NP

نویسنده

  • Iain A. Stewart
چکیده

We show that the problem of deciding whether a digraph has a Hamiltonian path between two specified vertices and the problem of deciding whether a given graph has a cubic subgraph are complete for monotone NP via monotone projection translations. We also show that the problem of deciding whether a uniquely partially orderable (resp. comparability) graph has a cubic subgraph is complete for NP via projection translations: these problems were previously not even known to be complete for NP via polynomial-time reductions (the class of uniquely partially orderable graphs is a proper subclass of the class of comparability graphs).

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On a variant of Monotone NAE-3SAT and the Triangle-Free Cut problem

In this paper we define a restricted version of Monotone NAE-3SAT and show that it remains NP-Complete even under that restriction. We expect this result would be useful in proving NP-Completeness results for problems on k-colourable graphs (k ≥ 5). We also prove the NPCompleteness of the Triangle-Free Cut problem.

متن کامل

Complexity of DNF minimization and isomorphism testing for monotone formulas

We investigate the complexity of finding prime implicants and minimum equivalent DNFs for Boolean formulas, and of testing equivalence and isomorphism of monotone formulas. For DNF related problems, the complexity of the monotone case differs strongly from the arbitrary case. We show that it is DP-complete to check whether a monomial is a prime implicant for an arbitrary formula, but the equiva...

متن کامل

Complexity of DNF and Isomorphism of Monotone Formulas

We investigate the complexity of finding prime implicants and minimal equivalent DNFs for Boolean formulas, and of testing equivalence and isomorphism of monotone formulas. For DNF related problems, the complexity of the monotone case strongly differs from the arbitrary case. We show that it is DP-complete to check whether a monomial is a prime implicant for an arbitrary formula, but checking p...

متن کامل

Hard Tiling Problems with Simple Tiles

It is well-known that the question of whether a given finite region can be tiled with a given set of tiles is NP-complete. We show that the same is true for the right tromino and square tetromino on the square lattice, or for the right tromino alone. In the process, we show that Monotone 1-in-3 Satisfiability is NP-complete for planar cubic graphs. In higher dimensions, we show NP-completeness ...

متن کامل

Optimal guarding of polygons and monotone chains

In this paper we study several problems concerning the guarding of a polygon or a x-monotone polygonal chain P with n vertices from a set of points lying on it. Our results are: (1) An O(n logn) time sequential algorithm for computing the shortest guarding boundary chain of a polygon P. (2) An O(n logn) time sequential algorithm for computing the smallest set of consecutive edges guarding a pol...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 145  شماره 

صفحات  -

تاریخ انتشار 1995